A Note on Goodman's Theorem
نویسنده
چکیده
Goodman's theorem states that intuitionistic arithmetic in all nite types plus full choice, HA ! + AC, is conservative over rst-order intuitionistic arithmetic HA. We show that this result does not extend to various subsystems of HA ! , HA with restricted induction.
منابع مشابه
A note on spectral mapping theorem
This paper aims to present the well-known spectral mapping theorem for multi-variable functions.
متن کاملA Note on the Descent Property Theorem for the Hybrid Conjugate Gradient Algorithm CCOMB Proposed by Andrei
In [1] (Hybrid Conjugate Gradient Algorithm for Unconstrained Optimization J. Optimization. Theory Appl. 141 (2009) 249 - 264), an efficient hybrid conjugate gradient algorithm, the CCOMB algorithm is proposed for solving unconstrained optimization problems. However, the proof of Theorem 2.1 in [1] is incorrect due to an erroneous inequality which used to indicate the descent property for the s...
متن کاملA Note on the Strong Law of Large Numbers
Petrov (1996) proved the connection between general moment conditions and the applicability of the strong law of large numbers to a sequence of pairwise independent and identically distributed random variables. This note examines this connection to a sequence of pairwise negative quadrant dependent (NQD) and identically distributed random variables. As a consequence of the main theorem ...
متن کاملA SHORT NOTE ON THE RELATIONSHIP BETWEEN GOAL PROGRAMMING AND FUZZY PROGRAMMING FOR VECTORMAXIMUM PROBLEMS
A theorem was recently introduced to establish a relationship betweengoal programming and fuzzy programming for vectormaximum problems.In this short note it is shown that the relationship does not exist underall circumstances. The necessary correction is proposed.
متن کاملA NOTE ON INTUITIONISTIC FUZZY MAPPINGS
In this paper, the concept of intuitionistic fuzzy mapping as a generalization of fuzzy mapping is presented, and its' relationship with intuitionistic fuzzy relations is derived. Moreover, some basicoperations of intuitionistic fuzzy mappings are defined, hence we can conclude that all of intuitionistic fuzzy mappings constitute a soft algebrawith respect to these operations. Afterwards, the A...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Studia Logica
دوره 63 شماره
صفحات -
تاریخ انتشار 1999